Translation Templates to Support Strategy Development in PVS
نویسندگان
چکیده
منابع مشابه
Translation Templates to Support Strategy Development in PVS
In presenting specifications and specification properties to a theorem prover, there is a tension between convenience for the user and convenience for the theorem prover. A choice of specification formulation that is most natural to a user may not be the ideal formulation for reasoning about that specification in a theorem prover. However, when the theorem prover is being integrated into a syst...
متن کاملconstruction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
development and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولinvestigating cda tendency and critical thinking abilities of iranian translation students in relation to their translation quality
امروزه مسئله ی اساسی در رویکرد های جدید زبانشناسی، ابعاد اجتماعی و ایدئولوژیک زبان تلقی می شود. گروه های مختلف اجتماعی، سیاسی و یا مذهبی از زبان به عنوان ابزاری برای دستیابی به اهداف درون گروهی خود استفاده می کنند (ون دایک، 2003). آنها معولا ایدئولوژی خود را صریحا ابراز نمی کنند بلکه آن را در غالب کلمات و ساختارهای زبانی پنهان نگه می دارند. تشخیص ایدئولوژی های پنهان در گفتمان نیازمند این موضوع ...
willingness to communicate in the iranian context: language learning orientation and social support
why some learners are willing to communicate in english, concurrently others are not, has been an intensive investigation in l2 education. willingness to communicate (wtc) proposed as initiating to communicate while given a choice has recently played a crucial role in l2 learning. it was hypothesized that wtc would be associated with language learning orientations (llos) as well as social suppo...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2007
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.01.057